Reasoning about continuous systems
نویسندگان
چکیده
منابع مشابه
Reasoning in Logic about Continuous Systems
An intelligent agent, reasoning symbolically ill a continuous world, needs to infer properties of the behaviors of continuous systems. A qualitative simulator, such as QSI NI , con— structs a set. of possible behaviors corisis— tent with a qualitative differential equation (QDE) and initial state. This set of behaviors is expressed as a flinte tree of qualitative state descriptions. li-i the ca...
متن کاملReasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system’s behavior—that is, the equations which specify the ongoing processes—change. Between two events the system’s parameters stay continuous...
متن کاملReasoning about Continuous Change
The problem of formalising continuous change within reasoning about action systems such as the situation calculus has recently been receiving increasing attention ((Rei96], MS96]). In this paper we show that a long-existing systems theoretic reasoning methodology, that of Zeigler's DEVS (discrete event system speciication), not only subsumes the standard situation calculus but is able to elegan...
متن کاملReasoning about Structured Stochastic Systems in Continuous - Time
Many real-life-tasks deal with dynamic systems that evolve in continuous-time. In many cases such systems are composed of many interacting components which evolve at various time scales. Thus, recent research on such multi-component systems is aimed at reasoning their dynamics directly in continuous-time. A common approach to studying such systems is to construct a probabilistic model based on ...
متن کاملReasoning about Reactive Systems
The main concern of this thesis is the formal reasoning about reactive systems, that is, systems that repeatedly act and react in interaction with their environment without necessarily terminating. When describing such systems the focus is not on what is computed but rather on the interaction capabilities over time. Moreover, reactive systems are usually highly concurrent, typically spatially d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1990
ISSN: 0167-6423
DOI: 10.1016/0167-6423(90)90017-8